National Repository of Grey Literature 4 records found  Search took 0.00 seconds. 
Object Oriented Petri Nets Virtual Machine
Sitarčík, Ľuboš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This diploma thesis formally defines the Object Oriented Petri Nets and presents term a virtual machine. Then it introduces the concept of Object Oriented Petri Nets Virtual Machine. Finally, project describes a procedure for implementation of the OOPN Virtual Machine.
Petri Nets Virtual Machine
Lapšanský, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis formally defines the Object Oriented Petri Nets. Then it designs concept of compilator and virtual machine for Object Oriented Petri Nets using PNTalk language. It uses PNTalk language. It describes implementation of virtual machine and compiler.
Petri Nets Virtual Machine
Lapšanský, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis formally defines the Object Oriented Petri Nets. Then it designs concept of compilator and virtual machine for Object Oriented Petri Nets using PNTalk language. It uses PNTalk language. It describes implementation of virtual machine and compiler.
Object Oriented Petri Nets Virtual Machine
Sitarčík, Ľuboš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This diploma thesis formally defines the Object Oriented Petri Nets and presents term a virtual machine. Then it introduces the concept of Object Oriented Petri Nets Virtual Machine. Finally, project describes a procedure for implementation of the OOPN Virtual Machine.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.